exception MyExn

let (_ : exn & (MyExn)) = exn ()